<HTML><HEAD><TITLE>get_integer_bounds(?Var, -Lo, -Hi)</TITLE>
</HEAD><BODY>[ <A HREF="index.html">library(ic)</A> | <A HREF="../../index.html">Reference Manual</A> | <A HREF="../../fullindex.html">Alphabetic Index</A> ]
<H1>get_integer_bounds(?Var, -Lo, -Hi)</H1>
Retrieve the current bounds of (integral) Var.
<DL>
<DT><EM>Var</EM></DT>
<DD>A variable or a number
</DD>
<DT><EM>Lo</EM></DT>
<DD>Lower bound
</DD>
<DT><EM>Hi</EM></DT>
<DD>Upper bound
</DD>
</DL>
<H2>Description</H2>
<P>
   Primitive for retrieving the upper and lower bounds of (integral) Var.
   Lo and Hi return the minimum and maximum (respectively) of the variable's
   interval.  If Var has not been declared before, it will be turned into an
   unrestricted integer variable.  If Var is a real IC variable, it will be
   constrained to be integral.  (These changes may cause propagation.)
   Infinite bounds are returned as floating point numbers; all others are
   returned as integers.  If Var is a ground integer, Lo and Hi will unified
   with that integer.  All other cases result in a type error.</P>

<H3>Modes and Determinism</H3><UL>
<LI>get_integer_bounds(?, -, -) is det
</UL>
<H2>See Also</H2>
<A HREF="../../lib/ic/get_bounds-3.html">get_bounds / 3</A>, <A HREF="../../lib/ic/get_finite_integer_bounds-3.html">get_finite_integer_bounds / 3</A>, <A HREF="../../lib/ic/get_float_bounds-3.html">get_float_bounds / 3</A>
</BODY></HTML>
